- intuitionistically derivable formula
- интуиционистски выводимая формула
English-Russian scientific dictionary. 2008.
intuitionistically derivable formula
Смотреть что такое "intuitionistically derivable formula" в других словарях:
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
